THE UNIVERSITY OF BIRMINGHAM Minimal Polynomial Logic: Properties and Extensions
نویسندگان
چکیده
Minimal Polynomial Logic (MPL) is a generalisation of classical propositional logic which allows truth values in the continuous interval 0; 1] and in which propositions are represented by multi-variate polynomials. In previous work 7] we have introduced some properties of MPL and shown that it has two possible semantics: a) it can be considered as a logic for expressing, handling and computing the probability of being true of complex expressions, like Nilsson's probabilistic logic, or b) it can be seen as a logic for expressing, handling and computing degrees of truth, as fuzzy logic. In this paper we report on new important properties of MPL, among which the isomorphism between MPL and propositional logic and a proof theory parallelling natural deduction. We also present a further generalisation of MPL in which the above-mentioned semantics are extended to express and handle probabilities in belief nets and degrees of truth in fuzzy expressions which do not collapse to standard propositions even in the presence of crisp variables.
منابع مشابه
Equality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملOn the compactness property of extensions of first-order G"{o}del logic
We study three kinds of compactness in some variants of G"{o}del logic: compactness,entailment compactness, and approximate entailment compactness.For countable first-order underlying language we use the Henkinconstruction to prove the compactness property of extensions offirst-order g logic enriched by nullary connective or the Baaz'sprojection connective. In the case of uncountable first-orde...
متن کاملOre extensions of skew $pi$-Armendariz rings
For a ring endomorphism $alpha$ and an $alpha$-derivation $delta$, we introduce a concept, so called skew $pi$-Armendariz ring, that is a generalization of both $pi$-Armendariz rings, and $(alpha,delta)$-compatible skew Armendariz rings. We first observe the basic properties of skew $pi$-Armendariz rings, and extend the class of skew $pi$-Armendariz rings through various ring extensions. We nex...
متن کاملExtensions of strongly alpha-reversible rings
We introduce the notion ofstrongly $alpha$-reversible rings which is a strong version of$alpha$-reversible rings, and investigate its properties. We firstgive an example to show that strongly reversible rings need not bestrongly $alpha$-reversible. We next argue about the strong$alpha$-reversibility of some kinds of extensions. A number ofproperties of this version are established. It is shown ...
متن کامل